Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧵 Concurrency Models
CSP, Actors, Software Transactional Memory, Fibers
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
32410
posts in
15.1
ms
Speak Now: Safe Actor Programming with
Multiparty
Session
Types
arxiv.org
·
1d
🌊
Async Patterns
Show HN:
Deterministic
symbolic memory layer for
grounding
LLMs
github.com
·
1d
·
Discuss:
Hacker News
🪄
Prompt Engineering
Why We Built (and
Open-Sourced
) a New
RoughTime
Implementation
blog.sturdystatistics.com
·
8h
·
Discuss:
r/programming
📐
TLA+
DBOS
MCP: Agent-Native Operations for
Durable
Workflows
dbos.dev
·
22h
🔐
MVCC
Agentic
Engineering: Building Without
Writing
dehora.net
·
50m
·
Discuss:
Hacker News
🪄
Prompt Engineering
Efficient and
Portable
Mixture-of-Experts
Communication
research.perplexity.ai
·
12h
🧠
Inference Serving
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
1d
🧵
Concurrency
Simulating
Queueing
buttondown.com
·
14h
📅
Resource Scheduling
Intrinsic
gradient oxygen-driven second-order
memristors
for continual reinforcement learning
nature.com
·
1h
⚡
Hardware Acceleration
Towards
Model-based
Verification
of a Key-Value Storage Engine
mongodb.com
·
3d
📐
TLA+
Show HN: An
Auditable
Decision Engine for AI Systems
maelstrom.ghostlogic.tech
·
7h
·
Discuss:
Hacker News
🛡️
AI Safety
A Novel
Hierarchical
Multi-Agent System for
Payments
Using LLMs
arxiv.org
·
1d
🤖
Agent Payments
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🧮
SMT Solvers
Agents, Workers - Agents SDK v0.7.0: Observability rewrite,
keepAlive
, and
waitForMcpConnections
developers.cloudflare.com
·
1d
🤖
Agent Protocols
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
16h
📐
TLA+
The
Architecture
Behind Open-Source LLMs
blog.bytebytego.com
·
17h
🏗️
LLM Infrastructure
I built a
persistent
memory
layer
for AI agents in Rust
news.ycombinator.com
·
14h
·
Discuss:
Hacker News
🔎
Tantivy
Unifying
non-Markovian
dynamics and agent
heterogeneity
in scalable stochastic networks
nature.com
·
17h
📋
MCP
Async
in
depth
tokio.rs
·
16h
🔄
Async Rust
Your
AGENTS.md
is a
Liability
paddo.dev
·
10h
🪄
Prompt Engineering
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help